Indeterminate state logic insertion

ABSTRACT

Illustrative embodiments provide a computer-implemented method for resolving indeterminate states by inserting logic into a design. The computer-implemented method receives an original design input from a requester to form a received input and determines whether the received input contains an indeterminate output. Responsive to a determination that the received input contains an indeterminate output, the computer-implemented method generates a temporary design from the received input, wherein the temporary design contains “unique” output and all inputs, updates the temporary design, and synthesizes the original design and each temporary design individually to form a synthesized original design and a set of synthesized temporary designs. The computer-implemented method merges the synthesized original design with the set of synthesized temporary design to form a final design; and returns the final design to the requester.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present disclosure relates generally to an improved data processingsystem and, more specifically, to a computer-implemented method, a dataprocessing system, and a computer program product for resolvingindeterminate states by inserting logic into a design.

2. Description of the Related Art

Typically, various types of computer aided design (CAD) rules need to becreated manually, which is very time-consuming and difficult to maintainas designs evolve. In particular, computer aided design rules that haveindeterminate outputs, as required by some manufacturing test rules; donot lend themselves to generation by current synthesis tools.

Synthesis tools can be used to create and add test points to existingdesigns in order to improve the ability to test the designs. In anotherusage, test generation tools may be used in conjunction with a designsimulator to develop additional logic associated with the design. Theadditional logic further enhances the test coverage for the design byadding or further specifying conditional parameters to existing testlogic. For example, additional logic is provided to test functionalattributes not available in a previous test cycle. In another example,added logic tests a combination of features not combined before, such asnew function recently included with old base code.

The current tools work with content that has been defined previously tosupplement a design that exists. Current tools cannot handle ambiguousstate conditions and therefore require the input data to be determinate.The tools do not function when data provided produces design output ofan indeterminate nature. Therefore, when a design or portion of a designproduces indeterminate results, current synthesis tools cannot be used.

BRIEF SUMMARY OF THE INVENTION

According to one illustrative embodiment, a computer-implemented methodfor resolving indeterminate states by inserting logic into a design isprovided. The computer-implemented method receives an original designinput from a requester to form a received input and determines whetherthe received input contains an indeterminate output. Responsive to adetermination that the received input contains an indeterminate output,the computer-implemented method generates a temporary design from thereceived input, wherein the temporary design contains “unique” outputand all inputs, updates the temporary design, and synthesizes theoriginal design and each temporary design individually to form asynthesized original design and a set of synthesized temporary designs.The computer-implemented method merges the synthesized original designwith the set of synthesized temporary designs to form a final design,and returns the final design to the requestor.

In another illustrative embodiment, a data processing system is presentfor resolving indeterminate states by inserting logic into a design. Thedata processing system comprises a bus, a memory connected to the bus,the memory containing computer-executable instructions and a processorunit connected to the bus. The processor unit executes thecomputer-executable instructions to direct the data processing system toreceive an original design input from a requester to form a receivedinput, determine whether the received input contains an indeterminateoutput, and responsive to a determination that the received inputcontains an indeterminate output, generates a temporary design from thereceived input, wherein the temporary design contains “unique” outputand all inputs. The data processing system is further directed to updatethe temporary design, synthesize the original design and each temporarydesign individually to form a synthesized original design and a set ofsynthesized temporary designs, merge the synthesized original designwith the set of synthesized temporary designs to form a final design,and return the final design to the requestor.

In yet another illustrative embodiment a computer program product ispresent for resolving indeterminate states by inserting logic into adesign. The computer program product comprises a computer-readablemedium having computer-executable instructions stored thereon, thecomputer-executable instructions comprising, computer-executableinstructions for receiving an original design input from a requester toform a received input, computer-executable instructions for determiningwhether the received input contains an indeterminate output,computer-executable instructions responsive to a determination that thereceived input contains an indeterminate output, for generating atemporary design from the received input, wherein the temporary designcontains “unique” output and all inputs, computer-executableinstructions for updating the temporary design, computer-executableinstructions for synthesizing the original design and each temporarydesign individually to form a synthesized original design and a set ofsynthesized temporary designs, computer-executable instructions formerging the synthesized original design with the set of synthesizedtemporary designs to form a final design, and computer-executableinstructions for returning the final design to the requestor.

BRIEF DESCRIPTION OF THE SEVERAL VIEWS OF THE DRAWINGS

FIG. 1 depicts a pictorial representation of a network of dataprocessing systems, in which illustrative embodiments may beimplemented;

FIG. 2 is a block diagram of a data processing system, in whichillustrative embodiments may be implemented;

FIG. 3 is a block diagram of components of a rule builder, in accordancewith illustrative embodiments;

FIG. 4 is a block diagram of an overview of a process flow using therule builder of FIG. 3, in accordance with illustrative embodiments;

FIG. 5 is a block diagram of an original design state table withindeterminate output states to be handled, in accordance withillustrative embodiments;

FIG. 6 is a block diagram of synthesized logic without indeterminateoutput states, in accordance with illustrative embodiments;

FIG. 7A is a block diagram of a temporary design state table withdeterminate output states and FIG. 7B is a block diagram of thetemporary design with determinate and indeterminate output states to behandled, in accordance with illustrative embodiments;

FIG. 8 is a block diagram of a logic design, in accordance withillustrative embodiments; and

FIG. 9 is a flowchart of a process using the rule builder of FIG. 3, inaccordance with illustrative embodiments.

DETAILED DESCRIPTION OF THE INVENTION

As will be appreciated by one skilled in the art, the present inventionmay be embodied as a system, method, or computer program product.Accordingly, the present invention may take the form of an entirelyhardware embodiment, an entirely software embodiment (includingfirmware, resident software, micro-code, etc.), or an embodimentcombining software and hardware aspects that may all generally bereferred to herein as a “circuit,” “module” or “system.” Furthermore,the present invention may take the form of a computer program productembodied in any tangible medium of expression having computer-usableprogram code embodied in the medium.

Any combination of one or more computer-usable or computer-readablemedium(s) may be utilized. The computer-usable or computer-readablemedium may be, for example but not limited to, an electronic, magnetic,optical, electromagnetic, infrared, or semiconductor system, apparatus,device, or propagation medium. More specific examples (a non-exhaustivelist) of the computer-readable medium would include the following: anelectrical connection having one or more wires, a portable computerdiskette, a hard disk, a random access memory (RAM), a read-only memory(ROM), an erasable programmable read-only memory (EPROM or Flashmemory), an optical fiber, a portable compact disc read-only memory(CDROM), an optical storage device, a transmission media such as thosesupporting the Internet or an intranet, or a magnetic storage device.Note that the computer-usable or computer-readable medium could even bepaper or another suitable medium upon which the program is printed, asthe program can be electronically captured, via, for instance, opticalscanning of the paper or other medium, then compiled, interpreted, orotherwise processed in a suitable manner, if necessary, and then storedin a computer memory. In the context of this document, a computer-usableor computer-readable medium may be any medium that can contain, store,communicate, propagate, or transport the program for use by, or inconnection with, the instruction execution system, apparatus, or device.The computer-usable medium may include a propagated data signal with thecomputer-usable program code embodied therewith, either in baseband oras part of a carrier wave. The computer-usable program code may betransmitted using any appropriate medium, including but not limited towireless, wire line, optical fiber cable, RF, etc.

Computer program code for carrying out operations of the presentinvention may be written in any combination of one or more programminglanguages, including an object-oriented programming language such asJava, Smalltalk, C++ or the like, and conventional proceduralprogramming languages, such as the “C” programming language or similarprogramming languages. The program code may execute entirely on theuser's computer, partly on the user's computer, as a stand-alonesoftware package, partly on the user's computer and partly on a remotecomputer, or entirely on the remote computer or server. In the latterscenario, the remote computer may be connected to the user's computerthrough any type of network, including a local area network (LAN) or awide area network (WAN), or the connection may be made to an externalcomputer (for example, through the Internet using an Internet ServiceProvider).

The present invention is described below with reference to flowchartillustrations and/or block diagrams of methods, apparatus (systems), andcomputer program products, according to embodiments of the invention. Itwill be understood that each block of the flowchart illustrations and/orblock diagrams, and combinations of blocks in the flowchartillustrations and/or block diagrams, can be implemented by computerprogram instructions.

These computer program instructions may be provided to a processor of ageneral purpose computer, special purpose computer, or otherprogrammable data processing apparatus to produce a machine, such thatthe instructions, which execute via the processor of the computer, orother programmable data processing apparatus, create means forimplementing the functions/acts specified in the flowchart and/or blockdiagram block or blocks. These computer program instructions may also bestored in a computer-readable medium that can direct a computer, orother programmable data processing apparatus, to function in aparticular manner, such that the instructions stored in thecomputer-readable medium produce an article of manufacture includinginstruction means, which implement the function/act specified in theflowchart and/or block diagram block or blocks.

The computer program instructions may also be loaded onto a computer, orother programmable data processing apparatus, to cause a series ofoperational steps to be performed on the computer, or other programmableapparatus, to produce a computer-implemented process such that theinstructions which execute on the computer, or other programmableapparatus, provide processes for implementing the functions/actsspecified in the flowchart and/or block diagram block or blocks.

With reference now to the figures, and in particular with reference toFIGS. 1 and 2, exemplary diagrams of data processing environments areprovided in which illustrative embodiments may be implemented. It shouldbe appreciated that FIGS. 1 and 2 are only exemplary and are notintended to assert or imply any limitation with regard to theenvironments in which different embodiments may be implemented. Manymodifications to the depicted environments may be made.

FIG. 1 depicts a pictorial representation of a network of dataprocessing systems, in which illustrative embodiments may beimplemented. Network data processing system 100 is a network ofcomputers in which the illustrative embodiments may be implemented.Network data processing system 100 contains network 102, which is themedium used to provide communications links between various devices andcomputers connected together within network data processing system 100.Network 102 may include connections, such as wire, wirelesscommunication links, or fiber optic cables.

In the depicted example, server 104 and server 106 connect to network102, along with storage unit 108. In addition, clients 110, 112, and 114connect to network 102. Clients 110, 112, and 114 may be, for example,personal computers or network computers. In the depicted example, server104 provides data, such as boot files, operating system images, andapplications, to clients 110, 112, and 114. Clients 110, 112, and 114are clients to server 104 in this example. Network data processingsystem 100 may include additional servers, clients, and other devicesnot shown.

In the depicted example, network data processing system 100 is theInternet with network 102 representing a worldwide collection ofnetworks and gateways that use the Transmission ControlProtocol/Internet Protocol (TCP/IP) suite of protocols to communicatewith one another. At the heart of the Internet is a backbone ofhigh-speed data communication lines between major nodes or hostcomputers, consisting of thousands of commercial, governmental,educational, and other computer systems that route data and messages. Ofcourse, network data processing system 100 also may be implemented as anumber of different types of networks, such as for example, an intranet,a local area network (LAN), or a wide area network (WAN). FIG. 1 isintended as an example, and not as an architectural limitation for thedifferent illustrative embodiments.

Using the example of system 100 of FIG. 1, client 110 or client 112provides a source design input containing a set of input values and aset of expected output values through network 102 to a rule builder onserver 104. The rule builder determines when the source input containsindeterminate outputs. Responsive to a determination that the sourcecontains indeterminate outputs, a temporary design is created for eachindeterminate output. The temporary design is a design that is createdonly for the purpose of resolving and/or allowing the processing ofindeterminate output results. The temporary design exists only duringthe processing of the original design. The temporary design containsintermediate determinate output values that replace the indeterminateoutput values. Rules logic is then created from synthesizing each of thetemporary designs and the original design individually. All synthesizedtemporary designs are combined or merged with the original design inputlocated on server 104 to produce a final design. The result is madeavailable to client 110 and client 112 from server 104, through network102.

With reference now to FIG. 2, a block diagram of a data processingsystem is shown, in which illustrative embodiments may be implemented.Data processing system 200 is an example of a computer, such as server104 or client 110 in FIG. 1, in which computer-usable program code orinstructions implementing the processes may be located for theillustrative embodiments. In this illustrative example, data processingsystem 200 includes communications fabric 202, which providescommunications between processor unit 204, memory 206, persistentstorage 208, communications unit 210, input/output (I/O) unit 212, anddisplay 214.

Processor unit 204 serves to execute instructions for software that maybe loaded into memory 206. Processor unit 204 may be a set of one ormore processors, or may be a multi-processor core, depending on theparticular implementation. Further, processor unit 204 may beimplemented using one or more heterogeneous processor systems in which amain processor is present, with secondary processors on a single chip.As another illustrative example, processor unit 204 may be a symmetricmulti-processor system containing multiple processors of the same type.

Memory 206 and persistent storage 208 are examples of storage devices. Astorage device is any piece of hardware that is capable of storinginformation, either on a temporary basis and/or a permanent basis.Memory 206, in these examples, may be, for example, a random accessmemory or any other suitable volatile or non-volatile storage device.Persistent storage 208 may take various forms, depending on theparticular implementation. For example, persistent storage 208 maycontain one or more components or devices. For example, persistentstorage 208 may be a hard drive, a flash memory, a rewritable opticaldisk, a rewritable magnetic tape, or some combination of the above. Themedia used by persistent storage 208 also may be removable. For example,a removable hard drive may be used for persistent storage 208.

Communications unit 210, in these examples, provides for communicationswith other data processing systems or devices. In these examples,communications unit 210 is a network interface card. Communications unit210 may provide communications through the use of either or bothphysical and wireless communications links.

Input/output unit 212 allows for input and output of data with otherdevices that may be connected to data processing system 200. Forexample, input/output unit 212 may provide a connection for user inputthrough a keyboard and mouse. Further, input/output unit 212 may sendoutput to a printer. Display 214 provides a mechanism to displayinformation to a user.

Instructions for the operating system and applications or programs arelocated on persistent storage 208. These instructions may be loaded intomemory 206 for execution by processor unit 204. The processes of thedifferent embodiments may be performed by processor unit 204 usingcomputer-implemented instructions, which may be located in a memory,such as memory 206. These instructions are referred to as program code,computer-usable program code, or computer-readable program code that maybe read and executed by a processor in processor unit 204. The programcode in the different embodiments may be embodied on different physicalor tangible computer-readable media, such as memory 206 or persistentstorage 208.

Program code 216 is located in a functional form on computer-readablemedia 218 that is selectively removable, and may be loaded onto, ortransferred to, data processing system 200 for execution by processorunit 204. Program code 216 and computer-readable media 218 form computerprogram product 220 in these examples. In one example, computer-readablemedia 218 may be in a tangible form, such as, for example, an optical ormagnetic disc that is inserted or placed into a drive, or other device,that is part of persistent storage 208 for transfer onto a storagedevice, such as a hard drive that is part of persistent storage 208. Ina tangible form, computer-readable media 218 also may take the form of apersistent storage, such as a hard drive, a thumb drive, or a flashmemory that is connected to data processing system 200. The tangibleform of computer-readable media 218 is also referred to ascomputer-recordable storage media. In some instances, computer-readablemedia 218 may not be removable.

Alternatively, program code 216 may be transferred to data processingsystem 200 from computer-readable media 218 through a communicationslink to communications unit 210 and/or through a connection toinput/output unit 212. The communications link and/or the connection maybe physical or wireless in the illustrative examples. Thecomputer-readable media also may take the form of non-tangible media,such as communications links or wireless transmissions, containing theprogram code.

The different components illustrated for data processing system 200 arenot meant to provide architectural limitations to the manner in whichdifferent embodiments may be implemented. The different illustrativeembodiments may be implemented in a data processing system, includingcomponents in addition to, or in place of, those illustrated for dataprocessing system 200. Other components shown in FIG. 2 can be variedfrom the illustrative examples shown.

As one example, a storage device in data processing system 200 is anyhardware apparatus that may store data. Memory 206, persistent storage208, and computer-readable media 218 are examples of storage devices ina tangible form.

In another example, a bus system may be used to implement communicationsfabric 202, and may be comprised of one or more buses, such as a systembus or an input/output bus. Of course, the bus system may be implementedusing any suitable type of architecture that provides for a transfer ofdata between different components or devices attached to the bus system.Additionally, a communications unit may include one or more devices usedto transmit and receive data, such as a modem or a network adapter.Further, a memory may be, for example, memory 206 or a cache, such asfound in an interface and memory controller hub that may be present incommunications fabric 202.

With reference to FIG. 3, a block diagram of components of a rulebuilder, in accordance with illustrative embodiments, is shown. In theexample of a rule generator, rule builder 300, is shown within memory206 of system 200 of FIG. 2. A number of components are included in rulebuilder 300 comprising a data structure containing original design input302, modified design synthesized states 304, synthesis tools 306, andindeterminate logic state merge 308. The components, when combined as awhole, interact together as needed to produce a modified design thatprovides a solution for inputs which provide indeterminate outputs.

Original design input 302 is an initial input that provides thesource-level subject matter that defines the design. The source levelsubject matter of the original design is typically provided as a set ofsoftware parameters and attributes that describe the required inputs andoutputs. For example, an original design for a switch specifies theinput values that may be voltage, output values of a similar voltage andconditions in which switching occur, such as when a specified voltage isapplied to an input terminal, causing a reaction on an output terminal.In some cases, the set of output values are indeterminate for apredefined set of inputs.

Modified design synthesized states 304 represents the intermediate formof original design input 302. The modification occurred as a result ofapplying replacement values having determinate values to theindeterminate terms of the design. For example, a column havingindeterminate values has the column replaced with a corresponding set ofdeterminate values, in accordance with illustrative embodiments. Theintermediate form is a temporary structure used in further processing toarrive at a final design.

Synthesis tools 306 provides a conventional set of tools forsynthesizing logic from a predefined source input, such as originaldesign input 302. Synthesis tools 306 are generally available for suchtasks.

Indeterminate logic state merge 308 combines the original determinatesynthesized logic portion of 302 with modified design synthesized states304 by adding logic (for example, multiplexors) as necessary, to createthe final rule. Indeterminate logic state merge 308 combines each of thesynthesized temporary files into a single design representing allpossible states the design may produce. This is accomplished by addinglogic as necessary, while maintaining the original design intent.

With reference to FIG. 4, a block diagram of an overview of a processflow using the rule builder of FIG. 3 is shown, in accordance withillustrative embodiments. Process 400 depicts in an example, an overviewof the rule-building process using rule builder 300 of FIG. 3.

Original design 402 is obtained as input into the process to create atemporary, intermediate design 404. A set of temporary designs iscreated to accommodate the addition of “unique” outputs and all inputs.A temporary design may be created for each instance of a “unique”output, thereby creating a set of temporary intermediate designs.Updating of the temporary design comprises indicating a firstpredetermined response value for all input combinations where anindeterminate value is measured on original output, and indicating asecond predetermined response value for all input combinations where adeterminate value is measured on original output.

Temporary design 404 provides a synthesizable determinate version ofintermediate outputs for each instance of an indeterminate outputdefined in original design 402 source input. The temporary, intermediatedesign has a new output pin with a unique name for each output, whichdrives an “X” value denoting an indeterminate output of the originaldesign. Each temporary design resolves one indeterminate output value.Each of the temporary design files and the original design are then usedas input to synthesize 406. Synthesize 406 applies synthesis tools tothe temporary designs and the original design to generate synthesizedlogic output. Synthesize is a process in which the design statements aretransformed into another format closer to the target environment. Forexample, in computer aided design the synthesizing process transformsthe input specifications into a hardware model specification. Synthesizetools can be used because the indeterminate outputs have all been nowre-specified as determinate output values. For example, the synthesizedoutput is the definitions created to specify the addition of a branch ina previously defined switch resulting in new combinations of input andoutput values.

Logic generator 408 creates the new logic from the set of synthesizedtemporary designs and original design in the form of new or changedrules that comprise a set of new logic 410. New logic 410 is then mergedto produce a final design output comprising a result set of rules anddesign. Merging is a process of combining the design files associatedwith the original design. For example, when three temporary design filesare generated to resolve indeterminate outputs of an original design theresult is four design files to be merged into one final design. Each ofthe temporary design files addressed only one instance of indeterminateoutput of the original design. The combination of the temporary andoriginal designs provides a complete solution to the indeterminateoutput problems presented. Final design and determinate rules 412 is theoutput of process 400. Final design and determinate rules 412 provides adeterminate implementation of the original design while still preservingthe indeterminate outputs.

With reference to FIG. 5, a block diagram of an original design statetable with indeterminate output states to be handled, in accordance withillustrative embodiments, is shown. Original design 500 is depictedshowing a set of inputs with a corresponding set of outputs, and a truthtable representing the various states or conditions of interest. Set ofinputs 502 provides the source inputs of the design while set of outputs504 represents the result set of outputs.

Truth table 506 defines a header row in which column 508 defines anoutput variable “M.” As seen in the table, row 510 indicates a value of“X” in column 508. The value of “X” indicates an indeterminate outputresult for the set of inputs in the corresponding row. Row 512 indicatesa value of “0” in column 508 denoting a determinate value for the cell.Set of values 514 defines a set of values in column 508 that areindeterminate. There is no defined absolute value in the cells of set ofvalues 514. In contrast, set of values 516 defines a set of valuescomprising “0” and “1,” indicating an absolute value for each cell.

With reference to FIG. 6, a block diagram of synthesized logic withoutindeterminate output states, in accordance with illustrativeembodiments, is shown. Logic set 600 illustrates a result of applying aset of logic definitions to source inputs 502 of FIG. 5. For set ofinputs 602, a resulting set of outputs 604 is defined. The example showsthe result of applying standard synthesis tools to the inputs andignoring the indeterminate results from inputs A and B of input 502 ofFIG. 5. The results are thus incomplete due to the lack of considerationfor the indeterminate values. Inputs A and B have no effect on theoutput M when disregarding indeterminate output states 514 of FIG. 5. Ifindeterminate outputs are to be represented, the effect of inputs A andB of logic set 502 would have to be modeled in this logic.

With reference to FIG. 7A, is a block diagram of a temporary designstate table with determinate output states, in accordance withillustrative embodiments, is shown. The example table differs from truthtable 506 of FIG. 5 in that table 700 has additional column 702.

Column 702 defines a replacement of each “X” value of column 508 of FIG.5 with a “1” value. Each cell of column 508 containing a value otherthan “X” has a corresponding cell in column 702 containing a “0” value.The set of values 514 of FIG. 5 now has a corresponding set of values of“1” in each cell of column 702. Similarly, column 702 contains a “0” ineach cell of set of values 516.

Truth table 700 defines the modified truth table of FIG. 5 in whichcolumn 702 defines determinate values for the intermediate output (forexample, “M unique”) in the temporary design file rather thanindeterminate values on the real output 508. The original design hasthus been modified with the inclusion of the column of determinatevalues.

With reference to FIG. 7B, a block diagram of a temporary design withindeterminate and determinate output states to be handled is shown. Thefigure shows content similar to that of FIG. 6, but with the addition oflogic block 706. Logic block 706 depicts the addition of the nowdeterminate output of “M unique” for the pair of inputs A and B.

With reference to FIG. 8, a block diagram of a logic design, inaccordance with illustrative embodiments, is shown. Logic 800 depicts arelationship for set of inputs 502 to produce subset of outputs 504 ofFIG. 5. Logic block 806 provides the synthesized determinate input of “Munique” 810 to selector 804 resulting in output 504 of FIG. 5, forvariable “M.” Logic block 808 provides original input to the “0”connector of selector 804. Logic block 812 provides original input toproduce determinate output “N.”

The indeterminate state values have been resolved to determinate statevalues in modified truth table 700 of FIG. 7A. Determinate values of “Munique” in column 702 provide input to selector 804 in order to selectbetween the determinate values for output “M” and the indeterminatevalues for output “M” (generated by X Gen Block 802) from column 508 ofFIG. 5.

With reference to FIG. 9, a flowchart of a process using the rulebuilder of FIG. 3, in accordance with illustrative embodiments, isshown. Process 900 is an example of use of rule builder 300 of FIG. 3.

Process 900 begins (step 902) and receives a source input as an originaldesign input (step 904). The source input of the original design may bein a variety of forms, as suited to the process environment. Theoriginal design input is examined to determine whether an indeterminateoutput exists within the design. Examination determines if an outputpin, defined in the design, is measured at an indeterminate value (step906). When an indeterminate value for an output pin exists, a “yes” isobtained. When an indeterminate value for an output pin does not exist,a “no” is obtained.

When a “no” is obtained in step 906, process 900 skips ahead tosynthesize original, and if created, all temporary design filesindependently (step 916). When a “yes” is obtained in step 906, create atemporary design file is performed (step 908). Addition of “unique”output values and all inputs is made to the temporary design file (step910). For example, using FIG. 7A, this operation creates an expandedtable with the new column containing “M unique” values.

Within the temporary design, for “unique” output, indicate a responsevalue of “1” for all input combinations where an indeterminate value ismeasured on an original output, and indicate a response value of “0” forall input combinations where a determinate value is measured on theoriginal output (step 912).

A determination is made as to whether additional indeterminate outputpins in original design exist (step 914). When additional indeterminateoutput pins exist, a “yes” result is obtained. When no additionalindeterminate output pins exist, a “no” result is obtained. When a “yes”result is obtained in step 914 process 900 loops back to step 908. Whenadditional temporary design files are created, a set of temporary designfiles is formed. The set comprises one or more temporary design files.When a “no” is obtained in step 914, synthesize original, and ifcreated, all temporary design files independently is performed (step916).

A further determination is made as to whether temporary design filesexist (step 918). When no temporary design files exist, a “no” responseis obtained. When temporary design files exist, a “yes” response isobtained. When a “no” is obtained in step 918, process 900 skips to step922.

When a “yes” is obtained in step 918, merge all design files byinserting multiplexors, one per “unique” output in the temporary designfile, connecting “unique” outputs to a selector, “X” generator to “1”connection, the logic feeding the original output to the “0” connection,and the output of the multiplexor to the original output pin (step 920).Output final design (step 922) is performed, with process 900terminating thereafter (step 924).

Illustrative embodiments provide a capability by which source designinput containing indeterminate results or states may be resolved to atemporary, intermediate form. The intermediate form comprises adeterminate value for each indeterminate instance of the source designinput. The intermediate form may then be used with conventionalsynthesis tools to generate logic with respect to the source designinput. The generated logic takes into consideration the newly-defineddeterminate values to produce a more effective set of rules applicableto the source design input.

Illustrative embodiments provide a capability to use standard synthesistools, combined with additional software to programmatically createrules having indeterminate values on any outputs to be used, forexample, for manufacturing test cases. The source input is provided by apredefined design, which in this example may be represented in a tabularform of a truth table or state machine. If the states defined as havinga value “X,” reflective of states associated with an output pin “M,”could be ignored, the design could be represented using the logicgenerated using standard synthesis tools.

However, the “X,” states, as shown in a truth table, cannot bediscounted or ignored. Inability to reproduce the “X” states precludesuse of standard synthesis tools until now. A modified source design iscreated as a temporary, intermediate design with a new output pin with aunique name for every output, which drives an “X” value. In the columnfor the new pin, every occurrence of an “X” value has been replaced witha “1.” In the remaining instances, values were replaced with “0.” Thetable input is then synthesized using the standard tools to generaterules.

An indeterminate state merge program is used to merge the intermediatesynthesized logic and adds additional circuitry. This method thereforeenables the use of standard synthesis tools to synthesize the logic,which reproduces the “X” values from the original design previouslyignored in existing tools.

The flowchart and block diagrams in the figures illustrate thearchitecture, functionality, and operation of possible implementationsof systems, methods and computer program products, according to variousembodiments of the present invention. In this regard, each block in theflowchart or block diagrams may represent a module, segment, or portionof code, which comprises one or more executable instructions forimplementing the specified logical function(s). It should also be notedthat, in some alternative implementations, the functions noted in theblock might occur out of the order noted in the figures. For example,two blocks shown in succession may, in fact, be executed substantiallyconcurrently, or the blocks may sometimes be executed in the reverseorder, depending upon the functionality involved. It will also be notedthat each block of the block diagrams and/or flowchart illustration, andcombinations of blocks in the block diagrams and/or flowchartillustration, can be implemented by special purpose hardware-basedsystems that perform the specified functions or acts, or combinations ofspecial purpose hardware and computer instructions.

The terminology used herein is for the purpose of describing particularembodiments only and is not intended to be limiting of the invention. Asused herein, the singular forms “a”, “an” and “the” are intended toinclude the plural forms as well, unless the context clearly indicatesotherwise. It will be further understood that the terms “comprises”and/or “comprising,” when used in this specification, specify thepresence of stated features, integers, steps, operations, elements,and/or components, but do not preclude the presence or addition of oneor more other features, integers, steps, operations, elements,components, and/or groups thereof.

The corresponding structures, materials, acts, and equivalents of allmeans or step plus function elements in the claims below are intended toinclude any structure, material, or act for performing the function incombination with other claimed elements, as specifically claimed. Thedescription of the present invention has been presented for purposes ofillustration and description, but is not intended to be exhaustive orlimited to the invention in the form disclosed. Many modifications andvariations will be apparent to those of ordinary skill in the artwithout departing from the scope and spirit of the invention. Theembodiment was chosen and described in order to best explain theprinciples of the invention, the practical application, and to enableothers of ordinary skill in the art to understand the invention forvarious embodiments, with various modifications as are suited to theparticular use contemplated.

The invention can take the form of an entirely hardware embodiment, anentirely software embodiment or an embodiment containing both hardwareand software elements. In a preferred embodiment, the invention isimplemented in software, which includes but is not limited to firmware,resident software, microcode, etc.

Furthermore, the invention can take the form of a computer programproduct accessible from a computer-usable or computer-readable mediumproviding program code for use by, or in connection with, a computer orany instruction execution system. For the purposes of this description,a computer-usable or computer-readable medium can be any tangibleapparatus that can contain, store, communicate, propagate, or transportthe program for use by, or in connection with, the instruction executionsystem, apparatus, or device.

The medium can be an electronic, magnetic, optical, electromagnetic,infrared, or semiconductor system (or apparatus or device) or apropagation medium. Examples of a computer-readable medium include asemiconductor or solid-state memory, magnetic tape, a removable computerdiskette, a random access memory (RAM), a read-only memory (ROM), arigid magnetic disk and an optical disk. Current examples of opticaldisks include compact disk-read only memory (CD-ROM), compactdisk-read/write (CD-R/W) and DVD.

A data processing system suitable for storing and/or executing programcode will include at least one processor coupled directly or indirectlyto memory elements through a system bus. The memory elements can includelocal memory employed during actual execution of the program code, bulkstorage, and cache memories which provide temporary storage of at leastsome program code in order to reduce the number of times code must beretrieved from bulk storage during execution.

Input/output or I/O devices (including but not limited to keyboards,displays, pointing devices, etc.) can be coupled to the system eitherdirectly or through intervening I/O controllers.

Network adapters may also be coupled to the system to enable the dataprocessing system to become coupled to other data processing systems,remote printers or storage devices through intervening private or publicnetworks. Modems, cable modems and Ethernet cards are just a few of thecurrently available types of network adapters.

The description of the present invention has been presented for purposesof illustration and description, and is not intended to be exhaustive orlimited to the invention in the form disclosed. Many modifications andvariations will be apparent to those of ordinary skill in the art. Theembodiment was chosen and described in order to best explain theprinciples of the invention, the practical application, and to enableothers of ordinary skill in the art to understand the invention forvarious embodiments, with various modifications as are suited to theparticular use contemplated.

What is claimed is:
 1. A computer-implemented method for resolvingindeterminate states by inserting logic into a design, thecomputer-implemented method comprising: receiving, by a computer, anoriginal design input from a requester to form a received originaldesign input; determining, by the computer, whether an output pin in thereceived original design input is measured at an indeterminate outputvalue; responsive to a determination that the output pin in the receivedoriginal design input is measured at an indeterminate output value,generating, by the computer, a temporary design file from the receivedoriginal design input that contains all inputs and a predetermineddeterminate output value to replace the indeterminate output value;updating, by the computer, the temporary design file by generating afirst predetermined replacement value of “1” for all input combinationswhere an indeterminate value is measured on an original output andgenerating a second predetermined replacement value of “0” for all inputcombinations where a determinate value is measured on the originaloutput; synthesizing, by the computer, the received original designinput and the temporary design file to form a synthesized originaldesign input and a synthesized temporary design file; merging, by thecomputer, the synthesized original design input with the synthesizedtemporary design file to form a final design; and returning, by thecomputer, the final design to the requester.
 2. The computer-implementedmethod of claim 1, wherein generating the temporary design file furthercomprises: determining, by the computer, whether additional output pinsin the received original design input are measured at the indeterminateoutput value; and responsive to a determination that additional outputpins in the received original design input are measured at theindeterminate output value, generating, by the computer, a differenttemporary design file that contains all the inputs and the predetermineddeterminate output value to replace the indeterminate output value foreach additional output pin that measures at the indeterminate outputvalue.
 3. The computer-implemented method of claim 1, wherein generatingthe temporary design file creates an intermediate determinate output foreach indeterminate value identified in the received original designinput.
 4. The computer-implemented method of claim 1, wherein mergingthe synthesized original design input with the synthesized temporarydesign file to form the final design further comprises: determining, bythe computer, whether additional temporary design files exist; andresponsive to a determination that additional temporary design filesexist, merging, by the computer, all design files by insertingmultiplexors, one per “unique” output in each temporary design file. 5.The computer-implemented method of claim 4, wherein merging all thedesign files by inserting the multiplexors further comprises: attaching,by the computer, an “X” generator to a “1” connection; and attaching, bythe computer, logic feeding original output to a “0” connection.
 6. Adata processing system for resolving indeterminate states by insertinglogic into a design, the data processing system comprising: a bus; amemory connected to the bus, the memory storing computer-executableinstructions; a processor unit connected to the bus, wherein theprocessor unit executes the computer-executable instructions to: receivean original design input from a requester to form a received originaldesign input; determine whether an output pin in the received originaldesign input is measured at an indeterminate output value; generate atemporary design file from the received original design input thatcontains all inputs and a predetermined determinate output value toreplace the indeterminate output value in response to a determinationthat the output pin in the received original design input is measured atan indeterminate output value; update the temporary design file bygenerating a first predetermined replacement value of “1” for all inputcombinations where an indeterminate value is measured on an originaloutput and generating a second predetermined replacement value of “0”for all input combinations where a determinate value is measured on theoriginal output; synthesize the received original design input and thetemporary design file to form a synthesized original design input and asynthesized temporary design file; merge the synthesized original designinput with the synthesized temporary design file to form a final design;and return the final design to the requester.
 7. The data processingsystem of claim 6, wherein executing the computer-executableinstructions to generate the temporary design file, the processor unitfurther executes computer-executable instructions to: determine whetheradditional output pins in the received original design input aremeasured at the indeterminate output value; and generate a differenttemporary design file that contains all the inputs and the predetermineddeterminate output value to replace the indeterminate output value foreach additional output pin that measures at the indeterminate output inresponse to a determination that additional output pins in the receivedoriginal design input are measured at the indeterminate output value. 8.The data processing system of claim 6, wherein executing thecomputer-executable instructions to generate the temporary design file,the processor unit further executes computer-executable instructions to:create an intermediate determinate output for each indeterminate outputvalue identified in the received original design input.
 9. The dataprocessing system of claim 6, wherein executing the computer-executableinstructions to merge the synthesized original design input with thesynthesized temporary design file to form the final design, theprocessor unit further executes computer-executable instructions to:determine whether additional temporary design files exist; and merge alldesign files by inserting multiplexors, one per “unique” output in eachtemporary design file in response to a determination that additionaltemporary design files exist.
 10. The data processing system of claim 9,wherein executing the computer-executable instructions to merge all thedesign files by inserting the multiplexors, the processor unit furtherexecutes computer-executable instructions to: attach an “X” generator toa “1” connection; and attach logic feeding original output to a “0”connection.
 11. A computer program product stored on a non-transitorycomputer-readable storage medium having computer-executable instructionsstored thereon that are executable by a computer for resolvingindeterminate states by inserting logic into a design, the computerprogram product comprising: computer-executable instructions forreceiving an original design input from a requester to form a receivedoriginal design input; computer-executable instructions for determiningwhether an output pin in the received original design input is measuredat an indeterminate output value; computer-executable instructions forgenerating a temporary design file from the received original designinput that contains all inputs and a predetermined determinate outputvalue to replace the indeterminate output value in response to adetermination that the output pin in the received original design inputis measured at an indeterminate output value; computer-executableinstructions for updating the temporary design file by generating afirst predetermined replacement value of “1” for all input combinationswhere an indeterminate value is measured on an original output andgenerating a second predetermined replacement value of “0” for all inputcombinations where a determinate value is measured on the originaloutput; computer-executable instructions for synthesizing the receivedoriginal design input and the temporary design file to form asynthesized original design input and a synthesized temporary designfile; computer-executable instructions for merging the synthesizedoriginal design input with the synthesized temporary design file to forma final design; and computer-executable instructions for returning thefinal design to the requester.
 12. The computer program product of claim11, wherein computer-executable instructions for generating thetemporary design file further comprises; computer-executableinstructions for determining whether additional output pins in thereceived original design input are measured at the indeterminate outputvalue; and computer-executable instructions for generating a differenttemporary design file that contains all the inputs and the predetermineddeterminate output value to replace the indeterminate output value foreach additional output pin that measures at the indeterminate outputvalue in response to a determination that additional output pins in thereceived original design input are measured at the indeterminate outputvalue.
 13. The computer program product of claim 11, whereincomputer-executable instructions for generating the temporary designfile further comprises: computer-executable instructions for creating anintermediate determinate output for each indeterminate value identifiedin the received original design input.
 14. The computer program productof claim 11, wherein computer-executable instructions for merging thesynthesized original design input with the synthesized temporary designfile to form the final design further comprises: computer-executableinstructions for determining whether additional temporary design filesexist; and computer-executable instructions for merging all design filesby inserting multiplexors, one per “unique” output in each temporarydesign file in response to a determination that additional temporarydesign files exist.